perm filename BLETCH.BAR[1,3] blob
sn#263461 filedate 1977-02-13 generic text, type T, neo UTF8
(ENTERING 1 D_OUT) (D_OUT NIL (D_NOTE RULEFILE-ADDITION DATA2))
(D_NOTE RULEFILE-ADDITION DATA2)
(LEAVING 1 D_OUT) NIL
(ENTERING 1 D_OUT) (D_OUT NIL (D_NEWRULEFILE DATA2 T))
(D_NEWRULEFILE DATA2 T)
(LEAVING 1 D_OUT) NIL
(ENTERING 1 D_OUT) (D_OUT NIL (D_NEWRULE1 (D_INFERENCE_RULE ((!NOT (POINTER_TO !NIL (!PV_PLUS R))) NIL PROVABLE ~
!NIL1) NIL DATA2) T))
(D_NEWRULE1 (D_INFERENCE_RULE ((!NOT (POINTER_TO !NIL (!PV_PLUS R))) NIL PROVABLE !NIL1) NIL DATA2) T)
(LEAVING 1 D_OUT) NIL
(ENTERING 1 D_OUT) (D_OUT NIL (D_NEWRULE1 (D_INFERENCE_RULE ((!NOT (POINTER_TO (!PV_PLUS X) (!PV_PLUS R))) (!NOT~
(POINTER_TO (!PV_PLUS X) (!DATA_TRIPLE (!PV_PLUS R) (!PV_PLUS I) (!PV_PLUS E)))) PROVABLE !DT2) (I E) DATA2) T)~
)
(D_NEWRULE1 (D_INFERENCE_RULE ((!NOT (POINTER_TO (!PV_PLUS X) (!PV_PLUS R))) (!NOT (POINTER_TO (!PV_PLUS X) (!DA~
TA_TRIPLE (!PV_PLUS R) (!PV_PLUS I) (!PV_PLUS E)))) PROVABLE !DT2) (I E) DATA2) T)
(LEAVING 1 D_OUT) NIL
(ENTERING 1 D_OUT) (D_OUT NIL (D_NEWRULE1 (D_INFERENCE_RULE ((POINTER_TO (!PV_PLUS X) (!DATA_TRIPLE (!PV_PLUS R)~
(!PV_PLUS I) (!PV_PLUS E))) (POINTER_TO (!PV_PLUS X) (!PV_PLUS R)) PROVABLE !DT1) NIL DATA2) T))
(D_NEWRULE1 (D_INFERENCE_RULE ((POINTER_TO (!PV_PLUS X) (!DATA_TRIPLE (!PV_PLUS R) (!PV_PLUS I) (!PV_PLUS E))) (~
POINTER_TO (!PV_PLUS X) (!PV_PLUS R)) PROVABLE !DT1) NIL DATA2) T)
(LEAVING 1 D_OUT) NIL